#include <nanobdd/Nanobdd.h>
#include <algorithm>
#include <iostream>
#include <map>

namespace nanobdd {

// Bdd::Bdd(int level, std::shared_ptr<Bdd> low, std::shared_ptr<Bdd> high)
//     : level_(level), low_(low), high_(high) {}

bool
Bdd::isFalse() const {
  return node_ == Nanobdd::falseNode;
}

bool
Bdd::isTrue() const {
  return node_ == Nanobdd::trueNode;
}

} // namespace nanobdd